大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Advances in Geoinformatics [electronic resource] : VIII Brazilian Symposium on GeoInformatics, GEOINFO 2006, Campos do Jord茫o (SP), Brazil, November 19鈥Ⲭ 2006

0
索取号：
作者：Davis、 Clodoveu Augusto.、Monteiro、 Ant么nio Miguel Vieira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human Interface and the Management of Information. Interacting in Information Environments [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Smart Graphics [electronic resource] : 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings

0
索取号：
作者：Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、Owada、 Shigeru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

0
索取号：
作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Artificial Markets Modeling [electronic resource] : Methods and Applications

0
索取号：
作者：Consiglio、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

0
索取号：
作者：Olivetti、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Nature Inspired Problem-Solving Methods in Knowledge Engineering [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Linearization Methods for Stochastic Dynamic Systems [electronic resource]

0
索取号：
作者：Socha、 Leslaw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

0
索取号：
作者：Bonsangue、 Marcello M.、Johnsen、 Einar Broch.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithmic Aspects in Information and Management [electronic resource] : Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings

0
索取号：
作者：Kao、 Ming-Yang.、Li、 Xiang-Yang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31鈥ʵne 1, 2007. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Grzech、 Adam.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Scale Space and Variational Methods in Computer Vision [electronic resource] : First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

0
索取号：
作者：Sgallari、 Fiorella.、Murli、 Almerico.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

0
索取号：
作者：Murphy、 Amy L.、Vitek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

0
索取号：
作者：Malek、 Miroslaw.、Reitenspie脽、 Manfred.、Moorsel、 Aad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.